$\forall$$L$:Top List, $n$:$\mathbb{Z}$. $\parallel$$L$$\parallel\leq$$n$ $\Rightarrow$ (firstn($n$;$L$) $\sim$ $L$)